INTERNET ANECDOTES: SOME STRUCTURAL TYPES

Anecdotes

The well-known Arpanet was the first operational packet-switching network. 1 Almost completely unknown is what we claim was the second operational packet-switching network, the LFK Network—although, admittedly , it was a fairly minimal network. Work on the LFK Network began in fall 1970, and it was installed and accepted by fall 1972. It was used as part of a logistics system relating to the No...

Anecdotes

Evaluating anecdotes and case reports.

Stories are more memorable than statistics. Newspaper or magazine articles about some new chemotherapy for cancer typically will include an interview with a patient who is doing well on it. Websites of alternative practitioners and clinics sometimes feature stories by or about patients describing their successful treatment. These stories can be very persuasive to readers, but some scientists di...

Some types of implicative ideals

This paper studies basic properties for five special types of implicative ideals (modular, pentagonal, even, rectangular and medial). The results are used to prove characterizations of modularity and distributivity.

The Recursive Union of Some Gradual Types

We study union types and recursive types in the setting of a gradually typed lambda calculus. Our goal is to obtain a foundational account for languages that enable recursively defined data structures to be passed between static and dynamically typed regions of a program. We discuss how traditional sum types are not appropriate for this purpose and instead study a form of “true” union in the tr...